Rapid system prototyping from English specifications
نویسنده
چکیده
Substantial progress is being made for rapid prototyping of systems through advances in behavioral and logic synthesis, both of which depend on specifications in formal notations such as hardware description languages. During the conceptual phase of new product development, however, system or architectural specifications are usually expressed in English or another natural language, possibly accompanied by general block diagrams. Extending the notion of rapid prototyping to the system level to support this conceptual design phase requires dealing with specifications written in natural language. This paper reports on research to design a Specification Interpreter for automatically extracting engineering models from English specifications. The role of the Specification Interpreter in Rapid System Prototyping is suggested in Figure 1. The engineering models extracted from thc English specifications will be expressed both in a graphical form for feedback to the specification author (or 'customer? and in a formal design representation such as those used as input to bchavioral and logic synthesis. While a great deal of work remains to be done, a design strategy for an automated interpreter has been developed and part of the system has reached the prototype slage.
منابع مشابه
An Approach to the Design of Networked Embedded Systems
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on appl...
متن کاملAttempto - From Specifications in Controlled Natural Language towards Executable Specifications
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural...
متن کاملA Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars
In this paper, we describe PAG (Prototyping with Attribute Grammars), a framework for building Prolog prototypes from specifications based on attribute grammars, which we have developed for supporting rapid prototyping activities in an introductory course on language processors. This framework works for general noncircular attribute grammars with arbitrary underlying context-free grammars, incl...
متن کاملA Scalable Hardware Library for the Rapid Prototyping of SDL Specifications
A known problem in the area of hardware/software codesign is the selection of the proper interface between the different parts of the design. This paper presents a technique which eases the selection by combining different synthesis techniques together with rapid prototyping. Application field of the technique is the design of communication systems where C and VHDL are generated from a specific...
متن کاملA Prototype of an AAL for High Bit Rate Real-Time Data Transmission System over ATM Networks Using a RSE CODEC
Software Methodologies A Risk Assessment Model for Software Prototyping Projects p. 28 Processor Models for Retargetable Tools p. 34 Modus: Integrated Behavior-Oriented Model for Rapid Prototyping p. 40 Equivalence Checking of Two Statechart Specifications p. 46 Intuitive Design of Complex Real-Time Control Systems p. 52 Tools Cycle-True Simulation of the ST10 Microcontroller Including the Core...
متن کامل